03662e9a51ea715c65224d616ccdbf060eb4b286,projects/batfish/src/org/batfish/representation/cisco/RoutePolicyBooleanNextHopIn.java,RoutePolicyBooleanNextHopIn,toBooleanExpr,#CiscoConfiguration#Configuration#Warnings#,27

Before Change


      return new MatchPrefixSet(
            new IpPrefix(new NextHopIp(),
                  new LiteralInt(Prefix.MAX_PREFIX_LENGTH)),
            _prefixSet.toPrefixSetExpr(cc, c, w));
   }

}

After Change


   @Override
   public BooleanExpr toBooleanExpr(CiscoConfiguration cc, Configuration c,
         Warnings w) {
      PrefixSetExpr prefixSetExpr = _prefixSet.toPrefixSetExpr(cc, c, w);
      if (prefixSetExpr != null) {
         return new MatchPrefixSet(new IpPrefix(new NextHopIp(),
               new LiteralInt(Prefix.MAX_PREFIX_LENGTH)), prefixSetExpr);
      }
      else {
         Prefix6SetExpr prefix6SetExpr = _prefixSet.toPrefix6SetExpr(cc, c, w);
         return new MatchPrefix6Set(
               new Ip6Prefix(new NextHopIp6(),
                     new LiteralInt(Prefix6.MAX_PREFIX_LENGTH)),
               prefix6SetExpr);
      }
   }